

import edu.ksu.cis.bandera.util.BaseObservableMessage;
import edu.ksu.cis.projects.bogor.module.AbstractProgressManager;

public class BogorToolProgressManager extends AbstractProgressManager
{
  protected BogorTool2 bt;

  public BogorToolProgressManager(BogorTool2 bt)
  {
    this.bt = bt;
  }

  public void update(long transitions, int states, int matchedStates, long currentDepth, long maxDepth, int errors, long time, boolean isDone)
  {
    super.update(transitions, states, matchedStates, currentDepth, maxDepth, errors, time, isDone);

    this.bt.notifyObservers(new BaseObservableMessage(this.bt, "Update: Depth=" + currentDepth + ", Transitions=" + transitions + ", States=" + states + ", MatchedStates=" + matchedStates + ", MaxDepth=" + maxDepth + ", Errors=" + errors));
  }

  public void signalInvalidEndState()
  {
    super.signalInvalidEndState();
    this.bt.signalInvalidEndState(this.currentDepth, this.time, this.transitions);
  }

  public void signalRangeException()
  {
    super.signalRangeException();
    this.bt.signalRangeException(this.currentDepth, this.time, this.transitions);
  }

  public void signalInvariantViolation()
  {
    super.signalInvariantViolation();
    this.bt.signalInvariantViolation(this.currentDepth, this.time, this.transitions);
  }

  public void signalExtFailure()
  {
    super.signalExtFailure();
    this.bt.signalExtFailure(this.currentDepth, this.time, this.transitions);
  }

  public void signalAssertionFailure()
  {
    super.signalAssertionFailure();
    this.bt.signalAssertionFailure(this.currentDepth, this.time, this.transitions);
  }

  public void signalUncaughtException()
  {
    super.signalUncaughtException();
    this.bt.signalUncaughtException(this.currentDepth, this.time, this.transitions);
  }

  public void signalMaxDepthReached()
  {
    super.signalMaxDepthReached();
    this.bt.signalMaxDepthReached(this.currentDepth, this.time, this.transitions);
  }

  public void signalIllFormedModel()
  {
    super.signalIllFormedModel();
    this.bt.signalIllFormedModel(this.currentDepth, this.time, this.transitions);
  }

  public void signalOutOfMemory()
  {
    super.signalOutOfMemory();
    this.bt.signalOutOfMemory(this.currentDepth, this.time, this.transitions);
  }
}

/* Location:           D:\tool\banderaCLI-1.0a4\lib\bogor\bogorTool.jar
 * Qualified Name:     edu.ksu.cis.projects.bogor.tool.BogorToolProgressManager
 * Java Class Version: 5 (49.0)
 * JD-Core Version:    0.5.3
 */